Integrating Specifications

Requirements analysis usually results into a set of different specifications for the same system, which must be integrated. Integration involves elimination of discrepancies completion and validation and proceeds in stages of analysis and synthesis. Realizing that discrepancies between specifications may be due to differences in representation models and/or modeling perspectives and practices, we propose an approach to the analysis stage using meta-modeling and similarity analysis, whereby comparison of components is achieved through their classification under domain and model independent abstractions, and a newly developed model of similarity. Similarity analysis results into an isomorphic mapping between specification elements that can be used as a basis for negotiating their merging. Contact Information: Dr. George Spanoudakis, Institute of Computer Science, Foundation for Research and Technology-Hellas (FORTH), Science and Technology Park of Crete, Vassilika Vouton, P.O. Box 1385, GR 711 10 Heraklion, Crete, Greece, Tel: +30.81.391633, Fax: +30.81.391600, E-mail: [email protected] Prof. Panos Constantopoulos, Institute of Computer Science, Foundation for Research and Technology-Hellas (FORTH), Science and Technology Park of Crete, Vassilika Vouton, P.O. Box 1385, GR 711 10 Heraklion, Crete, Greece, Tel: +30.81.391634, Fax: +30.81.391600, E-mail: [email protected] Paper category: Research Paper, CIS Modeling, Migration and Evolution(information Reasoning Techniques for CIS) Word Count: 5200